Making a Submission

  • If you haven't already, create an account on GitLab with username as your 12 character BITS ID. Example - 2015A7PS001G. Provide username in capital letters only.
  • Create a private repo with the name being exactly the same as the lab name on the Main server. Example - lab1.
  • Open a terminal and type the following commands
    git config --global user.name "rohit"
    git config --global user.email "2015A7PS001G@localhost"
  • Execute export GIT_SSL_NO_VERIFY=1 in terminal.
  • Clone this repo to your machine.
    git clone https://autolab.bits-goa.ac.in/2015A7PS001G/lab1.git
  • Download skeleton code (if any) and lab question by cloning this repo - lab_author/lab_source/
    git clone https://autolab.bits-goa.ac.in/lab_author/lab_source.git
  • Move/copy the skeleton code of lab1 (if any) to your repo.
  • Code!
  • Stage and commit the latest files to local repository.
    git add *
    git commit -m 'code commit message'
  • Push the code to the GitLab server.
    git push -u origin master
  • Go to the Main server(https://autolab.bits-goa.ac.in:9000) and click on submit for lab1.
  • Enter you 12 character BITS ID and commit hash (optional). Commit hash is to evaluate any particular commit you made in the past or if you are working on a branch other than master. If you want to evaluate your latest commit on master - leave this field blank.
  • Click submit.
  • Debug and repeat, if necessary!

git help ###

Setup git - GitHub, SSH
Caching passwords - why passwords?, cache
reset commits - reset on a branch managing multiple remotes - GitHub